一种基于集合符号的自动推理扩展方法

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的.     

多实例工作流模式的π演算形式化

多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究，提出了以π演算作为工作流形式化的基础，利用π演算对多实例工作流模式进行了详细的描述。     

基于Agent的分布式地理信息检索系统

分布式地理信息检索具有有效性、高性能、高可靠性和低成本等方面的优势,因而是WebGIS的核心技术之一.以分布、异构的信息检索环境为背景,提出对基于Agent的分布式地理信息检索系统,采用π演算方法,建立分布式地理信息检索系统的服务请求模型,经过演算推理,证明该系统模型的有效性、可用性、可靠性和合理性.     

用明渠非恒定流理论对大藤峡水库进行库容特性研究

本文将大藤峡水库库区流动概化为一维非恒定流动,用河网非恒定流四级解法数学模型模拟了在坝前水位维持不同值的情况下,1968年洪水在库区内的演进,并验证了数学模型及资料概化的合理性。根据电算结果,笔者作出了三参数库容曲线,并就库容特性进行了归纳。笔者的成果也揭示了水库库容除了与入库洪水、坝前水位有关之外,还与洪水的涨落影响有关。这一规律已被国内有关水库实测资料证实。文章最后还就用非恒定流理论制作四参数库容曲线的不可行性及用非恒定流电算方法为调洪演算提供多参数库容曲线的不必要性等问题进行了讨论。     

飞机结构强度试验载荷演算方法

针对飞机结构试验设计计算问题,将计算机辅助设计技术引入这一领域,结合飞机的曲面外形,探讨了飞机结构试验设计中的分布式载荷和集中式载荷的演算问题,在UNIX工作站上Motif图形用户界面环境下完成了交互式的载荷演算软件,使载荷演算能够以较高的精度和自动化程度进行,并且可以使载荷演算的结果直观地以图形方式进行显示。结果表明,利用计算机辅助设计的载荷演算方法更精确、快速。     

基于时间敏感网络的风电场通信网时延特性分析

风电场通信系统由于数据采集范围广、数据类型较多等复杂因素,在依靠传统以太网通信时存在多信息流相互影响、数据传输实时性差等弊端,无法满足实时通信需求。提出了基于时间敏感网络（time-sensitive networking,TSN）的通信网络部署方案。首先,结合风电系统通信网络及数据分析了TSN技术的工作原理;然后根据TSN原理,推导出基于网络演算的端到端传输时延改进计算模型;其次,通过算例分析了门开时长和调度周期等参数对时延指标的影响;最后,对比分析了TSN与传统以太网时延差别。研究结果表明,通过合理配置参数,TSN具有可预测、低时延的特性,可为风电场高效通信网部署及网络资源优化分配提供了理论依据。     

基于随机网络演算的LTE网络端到端时延分析

本文主要分析了基于随机网络演算的LTE网络端到端时延问题,本文首先介绍了研究背景,其次分析了随机网络演算的相关理论,最后就LTE网络端到端时延的几点问题进行了分析。     

密钥交换协议前向安全性的自动化分析

会话密钥的安全影响了整个通信网络的安全,前向安全性是密钥交换协议中保证会话密钥安全的一种特殊的安全属性。首先扩展了应用PI演算,增加了阶段进程语法描述协议的前向安全性;然后提出了一个基于一阶定理证明器Pro Verif的前向安全性自动化分析方法;最后运用这种方法分析了两种典型的密钥交换协议,STS协议和MTI协议的前向安全性,分析结果表明该方法简单可靠。     

机载多跳波分复用网络时间确定性分析方法

波分复用技术有望应用于航空电子系统的综合化互连,特别是传感器前端处理部分的实时网络互连。根据机载多跳波分复用网络的关键部件波长路由器的结构,对实时通信流量特性和优先级排队的服务特性进行建模,给出突发度、服务时延等参数指标的计算方法,并在高优先级时间触发流量的压力下,提出了在机载多跳波分复用网络中事件触发流量的最坏情况下,端到端延迟的网络演算方法;使用该方法计算得到的结果可以作为机载波分复用网络时间确定性分析的依据。将最坏情况下的分析结果与软件仿真结果相对比,发现两者变化规律相符,验证了该方法的有效性。     

海洋电磁探测二维正演研究初探

海洋可控源电磁法(MCSEM)是探测海底储存资源与海底构造的一种有效方法,在海底油气储层钻探钱的价值预测与评估方面广泛应用。海洋CSEM技术采用可控制频率或者电流强度的人工场源作为激励源,测量海底电磁场场值,来弥补海洋环境中缺失的低频信号,通过计算电阻率和相位或者利用观测到的电场和磁场达到探测地下电性分布的目的。海洋CSEM技术,数字采集设备集成化高的特点,大大降低了因气候、温度变化所引起的干扰及天然信号强度微弱、随机性的弱点。CSEM技术的激发频率可控,可以根据实际目标体的位置确定探测深度,把场源放置在海底目标区域可以检测到数公里以下的油气层。CSEM技术与地震、测井、地质等的综合应用,可以区分地下的油气与其他流体,增加勘探的精度和准确性。